/* A,B,C,D,E,F are assigned to a task.
 * while at least one of A and B will go; A can't go together with D;
 * A,E,F will go two of them; B and C will go together or not go together;
 * one of C and D will go; if D don't go, E will not go.
 * who will go?
 */

#include<stdio.h>

int main(void){
  int a,b,c,d,e,f;  //1 stands for go, 0 stands for not go.
  for(a=1;a>=0;a--)  //exausation of all possibility
   for(b=1;b>=0;b--)
     for(c=1;c>=0;c--)
       for(d=1;d>=0;d--)
         for(e=1;e>=0;e--)
            for(f=1;f>=0;f--)   
			  if(a+b>=1&&a+d<2&&a+e+f==2&&(b+c!=1)&&c+d==1&&(d+e==0||d==1))
			   {
				    printf("A will%s be assigned.\n", a?"":" NOT");
					printf("B will%s be assigned.\n", b?"":" NOT");
					printf("C will%s be assigned.\n", c?"":" NOT");
					printf("D will%s be assigned.\n", d?"":" NOT");
					printf("E will%s be assigned.\n", e?"":" NOT");
					printf("F will%s be assigned.\n", f?"":" NOT");
				}
                
  return 0;
}
